The Ackermann Award 2005
نویسندگان
چکیده
The Ackermann Award is presented to the recipients at the annual conference of the EACSL. The jury is entitled to give more than one award per year. The award consists of a diploma, an invitation to present the thesis at the CSL conference, the publication of the abstract of the thesis and the citation in the CSL proceedings, and travel support to attend the conference. The first Ackermann Award is presented at this CSL’05. Eligible for the 2005 Ackermann Award were PhD dissertations in topics specified by the EACSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1 January 2003 and 31 December 2004. The jury for the Ackermann Award consists of seven members, three of them ex officio, namely the president and the vice-president of EACSL, and one member of the LICS organizing committee. The current jury consists of
منابع مشابه
The Ackermann Award 2007
The third Ackermann Award is presented at this CSL’07. This is the first year in which the EACSL Ackermann Award is generously sponsored. Our sponsor for the next three years is the worlds leading provider of personal peripherals, Logitech S.A., situated in Romanel, Switzerland. Eligible for the 2007 Ackermann Award were PhD dissertations in topics specified by the EACSL and LICS conferences, w...
متن کاملThe Ackermann Award 2006
The second Ackermann Award is presented at this CSL’06. Eligible for the 2006 Ackermann Award were PhD dissertations in topics specified by the EACSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1.1. 2004 and 31.12. 2005. The jury received 14 nominations for the Ackermann Award 2006. The candidates came from 10 different nati...
متن کاملThe Ackermann Award 2013
The ninth Ackermann Award is presented at CSL’13, held in Turin, Italy. This year, as in the previous three years, the EACSL Ackermann Award is generously sponsored by the Kurt Gödel Society. Besides providing financial support for the Ackermann Award, the Kurt Gödel Society has also committed to inviting the recipient of the Award for a special lecture to be given to the Society in Vienna. The...
متن کاملThe Ackermann Award 2009
The fifth Ackermann Award is presented at this CSL’09, held in Coimbra, Portugal. This is the third year in which the EACSL Ackermann Award is generously sponsored. Our sponsor is the world’s leading provider of personal peripherals, Logitech S.A., situated in Romanel, Switzerland. Eligible for the 2009 Ackermann Award were PhD dissertations in topics specified by the EACSL and LICS conferences...
متن کاملThe Ackermann Award 2017
The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual conference of the EACSL (CSL’xx). This contribution reports on the 2017 edition of the award. 1998 ACM Subject Classification F.3 Logics and Meanings of Programs, F.4 Mathematical Logic and Formal Languages
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005